Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
351	The Semantics of Scheme Control-Flow Analysis Olin Shivers School of Computer Science Carnegie Mellon Pittsburgh, Pennsylvania 15213 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:31 Functional programming Models of computation Logic in computer science Lambda calculus Programming language semantics Continuation-passing style Denotational semantics Free variables and bound variables Closure Software engineering Computing Computer programming
352	Distributed Games and Strategies Glynn Winskel The notion of deterministic/nondeterministic strategy is potentially as fundamental as the notion of function/relation. A broad enough notion of strategy must be planted fir Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2015-03-17 07:19:58 Logic in computer science Computer science Applied mathematics Denotational semantics Petri net Determinacy Strategy Models of computation Theoretical computer science Concurrency
353	AN ANALYSIS OF ISLAND MODELS IN EVOLUTIONARY COMPUTATION by Zbigniew Maciej Skolicki A Dissertation Submitted to the Graduate Faculty Add to Reading List Source URL: cs.gmu.edu Language: English - Date: 2007-12-10 04:40:29 Theoretical computer science Applied mathematics Evolutionary algorithm Algorithm Mathematics Science Cybernetics Evolution Evolutionary computation
354	DOC Document Add to Reading List Source URL: www.isast.org Language: English - Date: 2011-06-29 17:00:48 Models of computation Librarian Library science HTML element
355	Introduction to Computing: Explorations in Language, Logic, and Machines Add to Reading List Source URL: www.computingbook.org Language: English - Date: 2011-08-19 11:52:17 Computer science Turing machine Theory of computation Theoretical computer science Models of computation Busy beaver Computability Turing Recursive transition network Software engineering Computing Computability theory
356	Math 260ABC Introduction to Mathematical Logic Fall 1988-Sprint 1989 Instructor: Sam Buss Department of Mathematics University of California, San Diego Add to Reading List Source URL: euclid.ucsd.edu Language: English - Date: 2009-01-29 21:32:37 Computer science Turing machine Models of computation Alan Turing Computable function Computability Busy beaver Universal Turing machine Computability theory Theoretical computer science Theory of computation
357	The Hybrid Invention Generator — Assorted Relations Bill Seaman Gideon May — programmer Funded by Intel Description of the Hybrid Invention Generator A computer-based language system exploring hybrid invention genera Add to Reading List Source URL: projects.visualstudies.duke.edu Language: English - Date: 2007-12-24 00:13:32 Theoretical computer science Models of computation Abstraction Axiology Logic Invention Computer Turing machine Electric generator Science British people Mathematics
358	arXiv:quant-phv3 11 JulEfficient Discrete Approximations of Quantum Gates Aram W. Harrow Add to Reading List Source URL: www.cba.mit.edu Language: English - Date: 2011-12-13 18:32:01 Applied mathematics Mathematical analysis Spectral theory Quantum circuit Information theory Measure theory Quantum gate Spectrum Quantum computer Theoretical computer science Quantum information science Models of computation
359	Languages of Nested Trees ? Rajeev Alur1 , Swarat Chaudhuri1 , and P. Madhusudan2 1 Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2008-03-07 16:10:51 Nested word Words Computer science Models of computation Mathematics Regular tree grammar Finite-state machine Binary tree Tree Automata theory Formal languages Theoretical computer science
360	SmartSynth: Synthesizing Smartphone Automation Scripts from Natural Language Vu Le Sumit Gulwani Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-07-17 03:13:18 Visual programming languages Software engineering Computer data Dataflow Natural language processing Futures and promises Computing Computer architecture Models of computation

UPDATE